./stop_server.sh; ./make_all.sh; ./start_server_background.sh
